-
1 axiomatic statement
Большой англо-русский и русско-английский словарь > axiomatic statement
-
2 axiomatic statement
Математика: аксиома, аксиоматическое высказывание -
3 axiomatic statement
мат.аксиоматическое высказывание, аксиома -
4 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
-
5 аксиоматическое высказывание
Большой англо-русский и русско-английский словарь > аксиоматическое высказывание
-
6 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
7 axiom
['æksɪəm]* * *['æksiəm](a fact or statement which is definitely true and accepted as a principle or rule.) assioma* * *axiom /ˈæksɪəm/n.axiomatic, axiomaticala.axiomaticallyavv.assiomaticamente.* * *['æksɪəm] -
8 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
9 questionable
1. a сомнительный, ненадёжный, не внушающий доверия2. a подозрительный, пользующийся дурной репутацией; сомнительныйСинонимический ряд:1. ambiguous (adj.) ambiguous; enigmatic; mysterious; puzzling2. dubious (adj.) discreditable; disreputable; dubious; notorious; obnoxious; offensive; opprobrious3. moot (adj.) arguable; contested; controversial; controvertible; debatable; disputable; disputed; doubtful; improbable; moot; mootable; problematic; problematical; unlikely4. open (adj.) borderline; chancy; clouded; indecisive; indeterminate; open; unclear; undecided; unsettled5. suspect (adj.) equivocal; fishy; shady; suspect; suspicious; uncertain6. unreliable (adj.) fly-by-night; trustless; undependable; unreliable; unsure; untrustworthy; untrustyАнтонимический ряд:assured; axiomatic; believable; certain; credible; decisive; definite; evident; indisputable; indubitable; obvious; plain; positive; proven -
10 Language
Philosophy is written in that great book, the universe, which is always open, right before our eyes. But one cannot understand this book without first learning to understand the language and to know the characters in which it is written. It is written in the language of mathematics, and the characters are triangles, circles, and other figures. Without these, one cannot understand a single word of it, and just wanders in a dark labyrinth. (Galileo, 1990, p. 232)It never happens that it [a nonhuman animal] arranges its speech in various ways in order to reply appropriately to everything that may be said in its presence, as even the lowest type of man can do. (Descartes, 1970a, p. 116)It is a very remarkable fact that there are none so depraved and stupid, without even excepting idiots, that they cannot arrange different words together, forming of them a statement by which they make known their thoughts; while, on the other hand, there is no other animal, however perfect and fortunately circumstanced it may be, which can do the same. (Descartes, 1967, p. 116)Human beings do not live in the object world alone, nor alone in the world of social activity as ordinarily understood, but are very much at the mercy of the particular language which has become the medium of expression for their society. It is quite an illusion to imagine that one adjusts to reality essentially without the use of language and that language is merely an incidental means of solving specific problems of communication or reflection. The fact of the matter is that the "real world" is to a large extent unconsciously built on the language habits of the group.... We see and hear and otherwise experience very largely as we do because the language habits of our community predispose certain choices of interpretation. (Sapir, 1921, p. 75)It powerfully conditions all our thinking about social problems and processes.... No two languages are ever sufficiently similar to be considered as representing the same social reality. The worlds in which different societies live are distinct worlds, not merely the same worlds with different labels attached. (Sapir, 1985, p. 162)[A list of language games, not meant to be exhaustive:]Giving orders, and obeying them- Describing the appearance of an object, or giving its measurements- Constructing an object from a description (a drawing)Reporting an eventSpeculating about an eventForming and testing a hypothesisPresenting the results of an experiment in tables and diagramsMaking up a story; and reading itPlay actingSinging catchesGuessing riddlesMaking a joke; and telling itSolving a problem in practical arithmeticTranslating from one language into anotherLANGUAGE Asking, thanking, cursing, greeting, and praying-. (Wittgenstein, 1953, Pt. I, No. 23, pp. 11 e-12 e)We dissect nature along lines laid down by our native languages.... The world is presented in a kaleidoscopic flux of impressions which has to be organized by our minds-and this means largely by the linguistic systems in our minds.... No individual is free to describe nature with absolute impartiality but is constrained to certain modes of interpretation even while he thinks himself most free. (Whorf, 1956, pp. 153, 213-214)We dissect nature along the lines laid down by our native languages.The categories and types that we isolate from the world of phenomena we do not find there because they stare every observer in the face; on the contrary, the world is presented in a kaleidoscopic flux of impressions which has to be organized by our minds-and this means largely by the linguistic systems in our minds.... We are thus introduced to a new principle of relativity, which holds that all observers are not led by the same physical evidence to the same picture of the universe, unless their linguistic backgrounds are similar or can in some way be calibrated. (Whorf, 1956, pp. 213-214)9) The Forms of a Person's Thoughts Are Controlled by Unperceived Patterns of His Own LanguageThe forms of a person's thoughts are controlled by inexorable laws of pattern of which he is unconscious. These patterns are the unperceived intricate systematizations of his own language-shown readily enough by a candid comparison and contrast with other languages, especially those of a different linguistic family. (Whorf, 1956, p. 252)It has come to be commonly held that many utterances which look like statements are either not intended at all, or only intended in part, to record or impart straightforward information about the facts.... Many traditional philosophical perplexities have arisen through a mistake-the mistake of taking as straightforward statements of fact utterances which are either (in interesting non-grammatical ways) nonsensical or else intended as something quite different. (Austin, 1962, pp. 2-3)In general, one might define a complex of semantic components connected by logical constants as a concept. The dictionary of a language is then a system of concepts in which a phonological form and certain syntactic and morphological characteristics are assigned to each concept. This system of concepts is structured by several types of relations. It is supplemented, furthermore, by redundancy or implicational rules..., representing general properties of the whole system of concepts.... At least a relevant part of these general rules is not bound to particular languages, but represents presumably universal structures of natural languages. They are not learned, but are rather a part of the human ability to acquire an arbitrary natural language. (Bierwisch, 1970, pp. 171-172)In studying the evolution of mind, we cannot guess to what extent there are physically possible alternatives to, say, transformational generative grammar, for an organism meeting certain other physical conditions characteristic of humans. Conceivably, there are none-or very few-in which case talk about evolution of the language capacity is beside the point. (Chomsky, 1972, p. 98)[It is] truth value rather than syntactic well-formedness that chiefly governs explicit verbal reinforcement by parents-which renders mildly paradoxical the fact that the usual product of such a training schedule is an adult whose speech is highly grammatical but not notably truthful. (R. O. Brown, 1973, p. 330)he conceptual base is responsible for formally representing the concepts underlying an utterance.... A given word in a language may or may not have one or more concepts underlying it.... On the sentential level, the utterances of a given language are encoded within a syntactic structure of that language. The basic construction of the sentential level is the sentence.The next highest level... is the conceptual level. We call the basic construction of this level the conceptualization. A conceptualization consists of concepts and certain relations among those concepts. We can consider that both levels exist at the same point in time and that for any unit on one level, some corresponding realizate exists on the other level. This realizate may be null or extremely complex.... Conceptualizations may relate to other conceptualizations by nesting or other specified relationships. (Schank, 1973, pp. 191-192)The mathematics of multi-dimensional interactive spaces and lattices, the projection of "computer behavior" on to possible models of cerebral functions, the theoretical and mechanical investigation of artificial intelligence, are producing a stream of sophisticated, often suggestive ideas.But it is, I believe, fair to say that nothing put forward until now in either theoretic design or mechanical mimicry comes even remotely in reach of the most rudimentary linguistic realities. (Steiner, 1975, p. 284)The step from the simple tool to the master tool, a tool to make tools (what we would now call a machine tool), seems to me indeed to parallel the final step to human language, which I call reconstitution. It expresses in a practical and social context the same understanding of hierarchy, and shows the same analysis by function as a basis for synthesis. (Bronowski, 1977, pp. 127-128)t is the language donn eґ in which we conduct our lives.... We have no other. And the danger is that formal linguistic models, in their loosely argued analogy with the axiomatic structure of the mathematical sciences, may block perception.... It is quite conceivable that, in language, continuous induction from simple, elemental units to more complex, realistic forms is not justified. The extent and formal "undecidability" of context-and every linguistic particle above the level of the phoneme is context-bound-may make it impossible, except in the most abstract, meta-linguistic sense, to pass from "pro-verbs," "kernals," or "deep deep structures" to actual speech. (Steiner, 1975, pp. 111-113)A higher-level formal language is an abstract machine. (Weizenbaum, 1976, p. 113)Jakobson sees metaphor and metonymy as the characteristic modes of binarily opposed polarities which between them underpin the two-fold process of selection and combination by which linguistic signs are formed.... Thus messages are constructed, as Saussure said, by a combination of a "horizontal" movement, which combines words together, and a "vertical" movement, which selects the particular words from the available inventory or "inner storehouse" of the language. The combinative (or syntagmatic) process manifests itself in contiguity (one word being placed next to another) and its mode is metonymic. The selective (or associative) process manifests itself in similarity (one word or concept being "like" another) and its mode is metaphoric. The "opposition" of metaphor and metonymy therefore may be said to represent in effect the essence of the total opposition between the synchronic mode of language (its immediate, coexistent, "vertical" relationships) and its diachronic mode (its sequential, successive, lineal progressive relationships). (Hawkes, 1977, pp. 77-78)It is striking that the layered structure that man has given to language constantly reappears in his analyses of nature. (Bronowski, 1977, p. 121)First, [an ideal intertheoretic reduction] provides us with a set of rules"correspondence rules" or "bridge laws," as the standard vernacular has it-which effect a mapping of the terms of the old theory (T o) onto a subset of the expressions of the new or reducing theory (T n). These rules guide the application of those selected expressions of T n in the following way: we are free to make singular applications of their correspondencerule doppelgangers in T o....Second, and equally important, a successful reduction ideally has the outcome that, under the term mapping effected by the correspondence rules, the central principles of T o (those of semantic and systematic importance) are mapped onto general sentences of T n that are theorems of Tn. (P. Churchland, 1979, p. 81)If non-linguistic factors must be included in grammar: beliefs, attitudes, etc. [this would] amount to a rejection of the initial idealization of language as an object of study. A priori such a move cannot be ruled out, but it must be empirically motivated. If it proves to be correct, I would conclude that language is a chaos that is not worth studying.... Note that the question is not whether beliefs or attitudes, and so on, play a role in linguistic behavior and linguistic judgments... [but rather] whether distinct cognitive structures can be identified, which interact in the real use of language and linguistic judgments, the grammatical system being one of these. (Chomsky, 1979, pp. 140, 152-153)23) Language Is Inevitably Influenced by Specific Contexts of Human InteractionLanguage cannot be studied in isolation from the investigation of "rationality." It cannot afford to neglect our everyday assumptions concerning the total behavior of a reasonable person.... An integrational linguistics must recognize that human beings inhabit a communicational space which is not neatly compartmentalized into language and nonlanguage.... It renounces in advance the possibility of setting up systems of forms and meanings which will "account for" a central core of linguistic behavior irrespective of the situation and communicational purposes involved. (Harris, 1981, p. 165)By innate [linguistic knowledge], Chomsky simply means "genetically programmed." He does not literally think that children are born with language in their heads ready to be spoken. He merely claims that a "blueprint is there, which is brought into use when the child reaches a certain point in her general development. With the help of this blueprint, she analyzes the language she hears around her more readily than she would if she were totally unprepared for the strange gabbling sounds which emerge from human mouths. (Aitchison, 1987, p. 31)Looking at ourselves from the computer viewpoint, we cannot avoid seeing that natural language is our most important "programming language." This means that a vast portion of our knowledge and activity is, for us, best communicated and understood in our natural language.... One could say that natural language was our first great original artifact and, since, as we increasingly realize, languages are machines, so natural language, with our brains to run it, was our primal invention of the universal computer. One could say this except for the sneaking suspicion that language isn't something we invented but something we became, not something we constructed but something in which we created, and recreated, ourselves. (Leiber, 1991, p. 8)Historical dictionary of quotations in cognitive science > Language
См. также в других словарях:
Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia
axiomatic — adjective a) Evident without proof or argument. The students nodded, emphatically agreeing with a statement which upwards of sixty two thousand repetitions in the dark had made them accept, not merely as true, but as axiomatic, self evident,… … Wiktionary
I'm OK, You're OK — and remained there for almost two years. It is estimated to have sold over 15 million copies to dateFact|date=July 2008 and has been translated into over a dozen languagesFact|date=July 2008.ContentIn the opening preface, Harris hails the then… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium